- derivable formula
- мат.выводимая формула
English-Russian scientific dictionary. 2008.
derivable formula
Смотреть что такое "derivable formula" в других словарях:
Fórmula de Euler-Maclaurin — En matemáticas, la fórmula de Euler Maclaurin relaciona a integrales con series. Esta fórmula puede ser usada para aproximar integrales por sumas finitas o, de forma inversa, para evaluar series (finitas o infnitas) resolviendo integrales. La… … Wikipedia Español
Semi-empirical mass formula — In nuclear physics, the semi empirical mass formula (SEMF), sometimes also called Weizsäcker s formula, is a formula used to approximate the mass and various other properties of an atomic nucleus. As the name suggests, it is partially based on… … Wikipedia
Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… … Wikipedia
Rule of inference — In logic, a rule of inference (also called a transformation rule) is a function from sets of formulae to formulae. The argument is called the premise set (or simply premises ) and the value the conclusion . They can also be viewed as relations… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Paraconsistent logic — A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or… … Wikipedia
Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
Monoidal t-norm logic — Monoidal t norm based logic (or shortly MTL), the logic of left continuous t norms, is one of t norm fuzzy logics. It belongs to the broader class of substructural logics, or logics of residuated lattices;[1] it extends the logic of commutative… … Wikipedia
Hilbert-style deduction system — In logic, especially mathematical logic, a Hilbert style deduction system is a type of system of formal deduction attributed to Gottlob FregeMáté Ruzsa 1997:129] and David Hilbert. These deductive systems are most often studied for first order… … Wikipedia
